ارائه‌ی الگوریتم نوین ساده‌سازی DCVS بر پایه‌ی قانون جدید تزویج سطوح

در این نوشتار روشی نوین برای ساده‌سازی درخت پایین‌بر که نقش بسیار اساسی در پیاده‌سازی منطق تفاضلی دارد پیشنهاد خواهد شد. این الگوریتم بر قانون جدید تزویج سطوح، که از قابلیت ساده‌سازی بیشتری برخوردار است، مبتنی است. الگوریتم ارائه شده، با استفاده از این قانون و ترکیب آنبا قوانین پیشین، روشی نوین برای طراحی شبکه‌ی درخت پایین‌بر معرفی می‌کند. در بیان الگوریتم پیشنهادی، برای نخستین بار از بیان ماتریس‌گونه‌ی رابطه بین ترتیب ورودی‌های و متغیرهای کنترلی در یک نمودار تصمیم‌گیری استفاده شده است. با به‌کارگیری این روش می‌توان به میزان قابل توجهی سرعت و فضای اشغالی را بهبود بخشید. نتایج حاصل از اِعمالِ الگوریتم پیشنهادی روی برخی از مدارات b‌e‌n‌c‌h‌m‌a‌r‌k نشان‌دهنده‌ی بهبود چشم‌گیر در کاهش تعداد گره به‌کار رفته در پیاده‌سازی مدارات است.